UniCat-Search

Union Catalogue of Belgian Libraries

Feedback

About

Help

News

Narrow your search

Library

UCLouvain (70)

KU Leuven (68)

ULiège (61)

UAntwerpen (54)

UGent (50)

UNamur (37)

ULB (30)

KBR (25)

VUB (23)

UMons (18)
More...

Resource type

book (94)

dissertation (3)

Language

English (86)

French (8)

Dutch (1)

Undetermined (1)

Year

From To

2004 (1)

2002 (1)

2001 (2)

2000 (1)

1997 (1)
More...

Listing 1 - 10 of 96 << page
of 10
>>
Sort by

Dissertation

Transformation automatique de programmes écrits dans un langage fonctionnel
Authors: Degueldre, Daniel --- Ribbens, Daniel
Year: 1986 Publisher: [S.l.]: [chez l'auteur],

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Electronic digital computers-programming

Dissertation

Langages fonctionels
Authors: Lefebvre, Christine --- Ribbens, Daniel
Year: 1986 Publisher: [S.l.]: [chez l'auteur],

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Electronic digital computers-programming

Binding time : six studies in programming technology & milieu
Author: Halpern, Mark
ISBN: 0893916919 Year: 1990 Publisher: Norwood, NJ Ablex Pub. Co.

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Electronic digital computers - Programming.

Tools and notions for program construction : an advanced course
Author: Néel, D.
ISBN: 0521248019 9780521248013 Year: 1982 Publisher: Cambridge : Cambridge university press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computer programming. --- Computer programming --- Electronic digital computers- programming

Book

Structured computer organization
Author: Tanenbaum, Andrew S.
ISBN: 0138546053 9780138546052 Year: 1984 Publisher: Englewood Cliffs (N.J.) Prentice-Hall

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Ordinateurs --- Electronic digital computers --- Computer organizaton --- Architecture --- Programming --- Electronic digital computers programming --- Ordinateurs - Architecture --- Electronic digital computers - Programming --- Computer organization --- Computer programming.

Book

Fundamental algorithms.
Author: Knuth, Donald E..
ISBN: 0201038013 9780201038019 Year: 1969 Publisher: Reading (Mass.) Addison-Wesley

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Electronic digital computers --- Computer programming --- Computer algorithms. --- Computer algorithms --- Programming --- algoritmen --- programmeren --- Electronic digital computers - Programming

Formal development of programs and proofs
Author: Dijkstra, Edsger Wybe
ISBN: 0201172372 9780201172379 Year: 1990 Publisher: Reading, Mass.: Addison-Wesley,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computer programming --- Congresses. --- Electronic digital computers programming --- Computer programming - Congresses --- Computer programming.

Book

Control flow and data flow : concepts of distributed programming
Authors: Broy, Manfred --- Bauer, Friedrich Ludwig
ISBN: 3540170820 364282921X 3540139192 Year: 1986 Publisher: Berlin : Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Electronic data processing distributed processing --- Electronic digital computers programming --- Electronic data processing --- Computer programming. --- Distributed processing.

Book

Fundamentals of computer algorithms
Authors: Horowitz, Ellis --- Sahni, Sartaj Kumar
ISBN: 0273013246 9780273013242 Year: 1978 Publisher: London : Pitman,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Electronic digital computers --- Algorithms --- Programming --- Algoritmen. --- Algorithms. --- Computer programming. --- Electronic digital computers - Programming

Book

The temporal logic of reactive and concurrent systems
Authors: Manna, Zohar --- Pnueli, Amir
Year: 1992 Publisher: New York Berlin London Springer

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic [Symbolic and mathematical ] --- Electronic digital computers - Programming. --- Logic, Symbolic and mathematical.

Listing 1 - 10 of 96 << page
of 10
>>
Sort by